-
1 démontrable
demɔ̃tʀabladjnachweisbar, vorzeigbardémontrabledémontrable [demõtʀabl]beweisbar; Beispiel: être démontrable sich beweisen lassen -
2 доказуемость
-
3 prouver
pʀuvev1) beweisenprouver qc par a+b — etw klipp und klar beweisen
2) ( démontrer) nachweisen3) FIN belegen4)se prouver Elle s'est prouvée qu'elle en est capable. — Sie hat sich bewiesen, daß sie dazu in der Lage ist.
prouverprouver [pʀuve] <1>1 (démontrer) beweisen; Beispiel: il est prouvé que... es ist erwiesen, dass...; Beispiel: il n'est pas prouvé que +Subjonctif es gibt keinen Beweis dafür, dassBeispiel: se prouver
См. также в других словарях:
démontrable — [ demɔ̃trabl ] adj. • demonstrable v. 1265; de démontrer ♦ Qui peut être démontré. Proposition démontrable (⇒ décidable) . Math Énoncé démontrable, qui possède une démonstration formelle. ⊗ CONTR. Indémontrable. ● démontrable adjectif Qui peut… … Encyclopédie Universelle
démontrable — DÉMONTRABLE. adject. des 2 g. Terme didactique. Qui peut être démontré. Cetteproposition est démontrable … Dictionnaire de l'Académie Française 1798
DÉMONTRABLE — adj. des deux genres T. didactique. Qui peut être démontré. Cette proposition est démontrable … Dictionnaire de l'Academie Francaise, 7eme edition (1835)
DÉMONTRABLE — adj. des deux genres Qui peut être démontré. Cette proposition est démontrable … Dictionnaire de l'Academie Francaise, 8eme edition (1935)
démontrable — (dé mon tra bl ) adj. Qui peut être démontré. Des vérités claires et démontrables. • Une forme plus concise et moins dogmatique, qu il convient d affecter toutes les fois que l objet n est pas démontrable, DIDER. sur Boulanger.. HISTORIQUE… … Dictionnaire de la Langue Française d'Émile Littré
Indéterminabilité — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Theoreme d'incompletude de Godel — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Théorème d'incomplétude — de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Sur les… … Wikipédia en Français
Théorème d'incomplétude de Godel — Théorème d incomplétude de Gödel Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und… … Wikipédia en Français
Théorème d'incomplétude de Gödel — Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Sur les propositions … Wikipédia en Français
Théorème d'incomplétude de gödel — Les théorèmes d incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme (Sur les propositions … Wikipédia en Français
